tautological consequence

См. также в других словарях:

• Status of special relativity — Special relativity (SR) is usually concerned with the behaviour of objects and observers (inertial reference systems) which remain at rest or are moving at a constant velocity. In this case, the observer is said to be in an inertial frame of… …   Wikipedia

• Special relativity — (SR) (also known as the special theory of relativity or STR) is the physical theory of measurement in inertial frames of reference proposed in 1905 by Albert Einstein (after considerable contributions of Hendrik Lorentz and Henri Poincaré) in the …   Wikipedia

• epistemology — epistemological /i pis teuh meuh loj i keuhl/, adj. epistemologically, adv. epistemologist, n. /i pis teuh mol euh jee/, n. a branch of philosophy that investigates the origin, nature, methods, and limits of human knowledge. [1855 60; < Gk… …   Universalium

• Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… …   Wikipedia

• Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …   Wikipedia

• Tautology (logic) — In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the… …   Wikipedia

• Idealism (italian) and after — Italian idealism and after Gentile, Croce and others Giacomo Rinaldi INTRODUCTION The history of twentieth century Italian philosophy is strongly influenced both by the peculiar character of its evolution in the preceding century and by… …   History of philosophy

• Maurer–Cartan form — In mathematics, the Maurer–Cartan form for a Lie group G is a distinguished differential one form on G that carries the basic infinitesimal information about the structure of G. It was much used by Élie Cartan as a basic ingredient of his method… …   Wikipedia

• Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that …   Wikipedia

• Objections to evolution — Part of a series on Evolutionary Biology …   Wikipedia

• Cartan connection — In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the …   Wikipedia